Antiderivative of sec^2(2x)